Hi,
I don't understand why the Tasklist plugin do not use the jEdit task api. is there
a reason ?
| Submitted | kpouer - 2012-01-02 14:32:08 | Assigned | |
|---|---|---|---|
| Priority | 1 | Labels | |
| Status | open | Group | None |
| Resolution | None |
| 2012-01-02 16:21:51 daleanson |
The simple reason is that TaskList was developed several years before the jEdit task api was available. Is there a compelling reason to modify TaskList to use the task api? |
|---|---|
| 2012-01-02 16:27:21 kpouer |
No, if it is not new, there is no reason to refactor everything.
|
| 2012-01-20 17:16:51 kpouer |
- **priority**: 5 --> 1 |
| 2012-01-20 17:16:51 kpouer |
Changed priority to lowest |